Arithmetic precision

Results: 543



#Item
31Computer arithmetic / Rounding / GNU MPFR / IEEE floating point / Floating point / Double-precision floating-point format / Signed zero / Significant figures / C99 / GNU Multiple Precision Arithmetic Library / Multiplyaccumulate operation / Single-precision floating-point format

Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE,

Add to Reading List

Source URL: www.vinc17.org

Language: English - Date: 2015-06-18 06:12:50
32Computer arithmetic / Floating point / Rounding / Summation / Round-off error / Double-precision floating-point format / Addition / IEEE floating point

Toward hardware support for Reproducible BLAS http://bebop.cs.berkeley.edu/reproblas/ James Demmel, Hong Diep Nguyen SCANWurzburg, Germany

Add to Reading List

Source URL: bebop.cs.berkeley.edu

Language: English - Date: 2015-06-15 14:01:58
33Computer arithmetic / Rounding / Floating point / Paul Zimmermann / Double-precision floating-point format / Significant figures / Signed zero / Exponentiation / Q / Precision

SIPE: Small Integer Plus Exponent Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Arith 21, Austin, Texas, USA,

Add to Reading List

Source URL: www.vinc17.org

Language: English - Date: 2015-06-18 06:12:50
34Computer arithmetic / C++ / GNU Multiple Precision Arithmetic Library / Rational number / Floating point / Configure script / Number / Rounding / Linux From Scratch

libRational for version 0.3.0, 18 May 2004 Johan Vervloet () This manual is for libRational (version 0.3.0, 18 May 2004), which is a C++ wrapper around

Add to Reading List

Source URL: oud.losderover.be

Language: English - Date: 2006-09-27 12:44:44
35Computer arithmetic / GNU MPFR / Floating point / Rounding / Significant figures

The Generic Multiple-Precision Floating-Point Addition With Correct Rounding (as in the MPFR Library) Vincent L EFÈVRE Loria / INRIA Lorraine 6th Conference on Real Numbers and Computers

Add to Reading List

Source URL: www.vinc17.org

Language: English - Date: 2015-06-18 06:12:50
36Computer arithmetic / GNU MPFR / GNU Multiple Precision Arithmetic Library / Rounding / Extended precision / Floating point / Double-precision floating-point format / Interval arithmetic / Exponentiation

Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features

Add to Reading List

Source URL: www.vinc17.org

Language: English - Date: 2015-06-18 06:12:50
37Computer arithmetic / Floating point / Extended precision / IEEE floating point / Parallel computing / Double-precision floating-point format / Lookup table

Floating-Point Precision Tuning Using Blame Analysis ∗ ∗ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 ,

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2016-03-05 23:37:15
38Computer arithmetic / Abstract interpretation / Interval arithmetic / Rounding / Floating point / Affine arithmetic / Interval / Function / Limit of a function / NaN / Fixed-point arithmetic / Machine epsilon

Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2010-11-15 04:17:50
39Flicker / Mammoliti / The Shadow / GNU Multiple Precision Arithmetic Library

CPG #NM-1646 Order STATE OF VERMONT PUBLIC SERVICE BOARD CPG #NM-1646 Application of Green Mountain Power Corporation for a ) certificate of public good for an interconnected group

Add to Reading List

Source URL: psb.vermont.gov

Language: English - Date: 2015-03-30 08:06:06
40Computer arithmetic / Central processing unit / Computer architecture / Processor register / Instruction set / Floating point / Fixed-point arithmetic / Decoder

A hardware MP3 decoder with low precision floating point intermediate storage Andreas Ehliar, Johan Eilert LiTH-ISY-EXLink¨oping 2003

Add to Reading List

Source URL: www.mp3-tech.org

Language: English - Date: 2009-06-28 10:47:13
UPDATE